From: umherirrender <umherirrender_de.wp@web.de>
Date: Wed, 22 May 2013 15:59:59 +0000 (+0200)
Subject: Use square brackets instead of curly braces for char of a string
X-Git-Tag: 1.31.0-rc.0~19605
X-Git-Url: http://git.cyclocoop.org/%7D%7Cconcat%7B?a=commitdiff_plain;h=51f5d0873ac0228228e77104b2b440c645a15dd5;p=lhc%2Fweb%2Fwiklou.git

Use square brackets instead of curly braces for char of a string

The use of curly braces is deprecated in php 4.0, so changing it to
square brackets

Change-Id: Iffab398c8d18b386ec2e1a5de751c095b7a9cc77
---

diff --git a/includes/db/DatabasePostgres.php b/includes/db/DatabasePostgres.php
index 367335e154..e564a162dd 100644
--- a/includes/db/DatabasePostgres.php
+++ b/includes/db/DatabasePostgres.php
@@ -1032,11 +1032,11 @@ __INDEXATTR__;
 			return $output;
 		}
 		do {
-			if ( '{' != $text{$offset} ) {
+			if ( '{' != $text[$offset] ) {
 				preg_match( "/(\\{?\"([^\"\\\\]|\\\\.)*\"|[^,{}]+)+([,}]+)/",
 					$text, $match, 0, $offset );
 				$offset += strlen( $match[0] );
-				$output[] = ( '"' != $match[1]{0}
+				$output[] = ( '"' != $match[1][0]
 						? $match[1]
 						: stripcslashes( substr( $match[1], 1, -1 ) ) );
 				if ( '},' == $match[3] ) {